Concurrency Engineering with S-Net
نویسندگان
چکیده
We present the design of S-Net, a coordination language and component technology based on stream processing. S-Net boxes integrate existing sequential code as stream-processing components into highly asynchronous concurrent streaming networks. Their construction is based on algebraic formulae built out of four network combinators. S-Net achieves a near-complete separation of concerns between application code, written in a conventional programming language, and coordination code, written in S-Net itself. Subtyping on the level of boxes and networks and a tailor-made inheritance mechanism achieve flexible software reuse.
منابع مشابه
An Efficient Scalable Runtime System for S-Net Dataflow Component Coordination
S-Net is a declarative component coordination language aimed at radically facilitating software engineering for modern parallel compute systems by near-complete separation of concerns between application (component) engineering and concurrency orchestration. S-Net builds on the concept of stream processing to structure networks of communicating asynchronous components implemented in a conventio...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملSystem Dependence Net : An Interprocedural Program Dependence Representation for occam 2 Programs
An interprocedural program dependence representation named the System Dependence Net (SDN) for occam 2 programs is presented. It is an extension of existing dependence representations to represent the full range of an occam 2 program in the sense that we construct the SDN to represent not only multiple procedures but also concurrency issues in the program. The SDN can be used as an underlaying ...
متن کاملA Petri Net Perspective on the Resource Allocation Problem in Software Engineering
Resource Allocation Systems (RAS) were intensively studied in the last years for Flexible Manufacturing Systems (FMS). The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems. In this paper we take a parallel road to that travelled through for FMS, but for the case of software applications. These applications ...
متن کاملModeling hierarchical and recursive structures using parametric Petri nets
In order to facilitate modeling of complex hierarchical and dynamically structured concurrent systems this paper proposes extending high-level Petri nets with parametric and dynamic net structures based on a Petri net component concept. It proceeds to show how to apply these techniques to non-trivial design problems while retaining generality and thus reusability of the resulting models. Furthe...
متن کامل